|&|

libretto.CoreLib.|&|$
object |&|

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
|&|.type

Members list

Concise view

Value members

Concrete methods

def IXI[A, B, C, D]: A |&| B |&| C |&| D -⚬ A |&| C |&| B |&| D
def assocLR[A, B, C]: A |&| B |&| C -⚬ A |&| B |&| C
def assocRL[A, B, C]: A |&| B |&| C -⚬ A |&| B |&| C
def bimap[A, B, C, D](f: A -⚬ B, g: C -⚬ D): A |&| C -⚬ B |&| D
def left[B]: Functor[|&|]

Choice is covariant in the left argument.

Choice is covariant in the left argument.

Attributes

def lmap[A, B, A1](f: A -⚬ A1): A |&| B -⚬ A1 |&| B
def notify[A, B]: Pong |*| A |&| B -⚬ A |&| B

Alias for notifyChoice: Adds a Pong that fires when it is known which side of the choice (A |&| B) has been chosen.

Alias for notifyChoice: Adds a Pong that fires when it is known which side of the choice (A |&| B) has been chosen.

Attributes

def notifyL[A, B]: Pong |*| A |&| B -⚬ A |&| B

Adds a Pong to the left case that fires when the choice is made.

Adds a Pong to the left case that fires when the choice is made.

Attributes

def notifyR[A, B]: A |&| Pong |*| B -⚬ A |&| B

Adds a Pong to the right case that fires when the choice is made.

Adds a Pong to the right case that fires when the choice is made.

Attributes

def right[A]: Functor[[x] =>> A |&| x]

Choice is covariant in the right argument.

Choice is covariant in the right argument.

Attributes

def rmap[A, B, B1](f: B -⚬ B1): A |&| B -⚬ A |&| B1
def signal[A, B]: Need |*| A |&| B -⚬ A |&| B

Adds a Need that completes when it is known which side of the choice (A |&| B) has been chosen.

Adds a Need that completes when it is known which side of the choice (A |&| B) has been chosen.

Attributes

def signalL[A, B]: Need |*| A |&| B -⚬ A |&| B

Adds a Need to the left case that completes when the choice is made.

Adds a Need to the left case that completes when the choice is made.

Attributes

def signalR[A, B]: A |&| Need |*| B -⚬ A |&| B

Adds a Need to the right case that completes when the choice is made.

Adds a Need to the right case that completes when the choice is made.

Attributes

def swap[A, B]: A |&| B -⚬ B |&| A

Concrete fields